Natural Deduction for Sublogics of Predicate Logic

This work gives a natural deduction presentations to some of the sublogic of predicate logic vB94] and also to some of Alechina and J. van Benthem's sublogics. These presentations are based on BM92, Ben95, Gab94] and Gabbay's Labelled Deductive System LDS Gab94]. It also proves some correspondence results for the sublogics presented in vB94] and some completeness theorem to the classes of models presented in Ale95].